Chow rings of matroids are Koszul

Chow rings of matroids were instrumental in the resolution Heron–Rota–Welsh Conjecture by Adiprasito, Huh, and Katz Top-Heavy Braden, Matherne, Proudfoot, Wang. The ring a matroid is commutative, graded, Artinian, Gorenstein algebra with linear quadratic relations defined matroid. Dotsenko conjectured that any Koszul. purpose this paper to prove Dotsenko’s conjecture. We also show augmented As corollary, we have rational Poincaré series.